David Lariviere
نویسنده
چکیده
Introduction: The purpose of my project was to understand and evaluate currently available formal verification tools from Microsoft for the purpose of verifying window drivers. I eventually applied combinations of the Microsoft Verification tools to four separate drivers. The first was an extremely simple “Hello World” driver, based on an introduction to Windows Drivers found online. The second driver was PortTalk, an open source driver for communicating with the parallel port that I first proposed as the target of my project. The third was an example driver included in the Microsoft Driver Kit for use with SDV. Finally, the fourth was another custom driver developed for this project, based off of several online driver tutorials, accompanied with a user-mode program for communicating with and testing the driver.
منابع مشابه
AN ABSTRACT OF THE DISSERTATION OF Jane A. LaRiviere for the degree of Doctor of Philosophy in Human Performance
approved:
متن کاملFuel Price Increases and the Timing of Changes in Household Driving Decisions
Using the oil price increase of 1979 as a natural experiment and several event study specifications, this paper finds evidence that the oil spike induced significant decreases in carbon emissions on both the intensive (miles driven) and extensive (auto fuel efficiency) margins. Further, it appears that substitution on the intensive margin occurred instantaneously whereas extensive margin substi...
متن کاملGenetics of neuropathic pain
Neuropathic pain affects numerous patients who have sustained damage to the nervous system. It remains unknown why only the minority of patients who sustain damage to the nervous system develops signs and symptoms of neuropathic pain, nor why treatments remain inadequate for many patients. This review highlights the evidence from animal studies of the genetic mechanisms of individual difference...
متن کاملInflammatory Pain Test and With Repeated Thermal Sensitivity Than Resistant Fischer Rats in the Formalin Inflammation-Susceptible Lewis Rats Show Less
متن کامل
The Power of the Little Blue Pill: Innovations and Implications of Life Style Drugs in an Aging Population
The launch of Viagra in April 1998 led to a historically unprecedented high usage of erectile dysfunction (ED) drugs. We test whether Viagra’s introduction significantly influenced outcomes for its target population such as STD rates of older men, as well as its non-target populations, such as divorces, natality, the distribution of the age spread within couples, female STDs and sexual assault ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007